@$i$ always.$P$($x_{1}$;$x_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$@$i$. $P$($x_{1}$ when $e$;$x_{2}$ when $e$)